 
#include <string.h>
#include <math.h>
#include "system.h"
#include "f1c100s_de.h"
#include "f1c100s_timer.h"
#include "f1c100s_intc.h"
#include "f1c100s_gpio.h"
#include "f1c100s_pwm.h"
#include "f1c100s_uart.h"
#include "arm32.h"
#include "FreeRTOS.h"
#include "task.h"
#include "time0.h"
extern void tasks_example();

int main(void)
{
    system_init();            // Initialize clocks, mmu, cache, uart, ...
    arm32_interrupt_enable(); // Enable interrupts
    printf("\r\napp [FreeRTOS task] run. compiled_time %s %s\r\n", __DATE__, __TIME__);

    tasks_example();

    while (1)
    {

        delay_soft(100);

        delay_soft(100);
    }
}
